翻訳と辞書 Words near each other ・ Thierry Boudinaud ・ Thierry Bourguignon ・ Thierry Boutsen ・ Thierry Braspenning-Balzacq ・ Thierry Breton ・ Thierry Bricaud ・ Thierry Brusseau ・ Thierry Carcenac ・ Thierry Cassuto ・ Thierry Cerez ・ Thierry Champion ・ Thierry Cibone ・ Thierry Claveyrolat ・ Thierry Collet ・ Thierry Coppens ・ Thierry Coquand ・ Thierry Cornillet ・ Thierry Coup ・ Thierry Cygan ・ Thierry d'Orca ・ Thierry Daubresse ・ Thierry De Cordier ・ Thierry de Cordier ・ Thierry de Duve ・ Thierry De Groote ・ Thierry de Gruben ・ Thierry de La Tour d'Artaise ・ Thierry De Mey ・ Thierry de Montbrial ・ Thierry de Roucy Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Thierry Coquand ： ウィキペディア英語版 Thierry Coquand Thierry Coquand (born 18 April 1961 in Jallieu, Isère, France) is a professor in computer science at the University of Gothenburg, Sweden. He is known for his work in constructive mathematics, especially the calculus of constructions. He received his Ph.D. under the supervision of Gérard Huet. == See also == * Coq * Girard's paradox 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Thierry Coquand」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.